instance SyntaxChi of Syntax = open Prelude, MiniGrammarChi in {} ;